ReactiveML, a Reactive Extension to ML∗ extended version Louis Mandel and Marc Pouzet Universite´ Pierre et Marie Curie LIP6 †

Source URL: www.lri.fr

A Flexible and Efficient ML Lexer Tool based on Extended Regular Expression Submatching Martin Sulzmann? and Pippijn van Steenhoven?? Hochschule Karlsruhe - Technik und Wirtschaft Abstract. Lexical analysis has many app

Source URL: www.home.hs-karlsruhe.de

Extended Abstract Compiling Links Effect Handlers to the OCaml Backend Daniel Hillerstr¨om Sam Lindley

Source URL: kcsrk.info

• Software engineering
• Computer programming
• Computing
• Functional languages
• Control flow
• Software design patterns
• OCaml
• Monad
• Exception handling
• Type system
• Caml
• ML

From F? to SMT (Extended Abstract) Alejandro Aguirre1,2 1 Inria Paris

Source URL: prosecco.gforge.inria.fr

• Theoretical computer science
• Formal methods
• Computability theory
• Functional languages
• Logic in computer science
• Satisfiability modulo theories
• Factorial
• ML
• Recursion
• Lambda calculus
• System F

Multi-Module Fully Abstract Compilation (Extended Abstract) Marco Patrignani, Dominique Devriese, Frank Piessens iMinds-DistriNet, KU Leuven, Belgium High-level languages like Java or ML support abstraction and data enca

Source URL: software.imdea.org

Extended Methods Amino acid analysis from culture media Cells in a volume of 100 ml were plated in six replicates in 96-well tissue culture plates to reach ~80% confluence the next day. The next day, the spent media wa

Source URL: www.cancerandmetabolism.com

• Science
• Molecular biology
• Polymerase chain reaction
• Cell biology
• Antioxidants
• Glutathione
• Immunoprecipitation
• Gentamicin protection assay
• Assay
• Chemistry
• Biology
• Laboratory techniques

Algebraic Methods for Specification and Formal Development of Programs Donald Sannella Laboratory for Foundations of Computer Science, University of Edinburgh E-mail: and

Source URL: homepages.inf.ed.ac.uk

• Formal methods
• Software development
• Procedural programming languages
• Programming paradigms
• Extended ML
• Concurrent computing
• Don Sannella
• Specification language
• Algebraic specification
• Computing
• Software engineering
• Computer programming

Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Compilation of extended recursion in call-by-value functional languages Tom Hirschowitz · Xavier Leroy · J. B. Wells

Source URL: gallium.inria.fr

• Computability theory
• Recursion
• Theoretical computer science
• Models of computation
• Formal methods
• Lambda calculus
• Standard ML
• Free variables and bound variables
• Scheme
• Software engineering
• Computing
• Mathematics

Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Compilation of extended recursion in call-by-value functional languages Tom Hirschowitz · Xavier Leroy · J. B. Wells

Source URL: pauillac.inria.fr

• Computability theory
• Recursion
• Theoretical computer science
• Models of computation
• Formal methods
• Lambda calculus
• Standard ML
• Free variables and bound variables
• Scheme
• Software engineering
• Computing
• Mathematics

CM The SML/NJ Compilation and Library Manager (for SML/NJ version[removed]and later) User Manual Matthias Blume

Source URL: www.smlnj.org

• Procedural programming languages
• Functional languages
• Standard ML
• Type safety
• Library
• Make
• ML
• Extended Backus–Naur Form
• Modular programming
• Computing
• Software engineering
• Computer programming